p() == fst(m());
q() == snd(m());
